[INFO] cloning repository https://github.com/MarcusDunn/order
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MarcusDunn/order" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 6b424c8e82cd79f8a0c3bd16392eb617ddb806ee
[INFO] checking MarcusDunn/order against master#e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682 for beta-170-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/MarcusDunn/order on toolchain e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-3-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/MarcusDunn/order
[INFO] finished tweaking git repo https://github.com/MarcusDunn/order
[INFO] tweaked toml for git repo https://github.com/MarcusDunn/order written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/MarcusDunn/order already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9034d01a545493c3ad5a1adecb9e7f518574f7a1107d952364065d937818074b
[INFO] running `Command { std: "docker" "start" "-a" "9034d01a545493c3ad5a1adecb9e7f518574f7a1107d952364065d937818074b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9034d01a545493c3ad5a1adecb9e7f518574f7a1107d952364065d937818074b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9034d01a545493c3ad5a1adecb9e7f518574f7a1107d952364065d937818074b", kill_on_drop: false }`
[INFO] [stdout] 9034d01a545493c3ad5a1adecb9e7f518574f7a1107d952364065d937818074b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5d025d4d9bbdbb7f426420e89652b3c4e2f1f59507dbe8ff4a40d9a3e21973f7
[INFO] running `Command { std: "docker" "start" "-a" "5d025d4d9bbdbb7f426420e89652b3c4e2f1f59507dbe8ff4a40d9a3e21973f7", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.28
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling syn v1.0.74
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]     Checking pest v2.1.3
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling pest_meta v2.1.3
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]     Checking order v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/intermediate_representation.rs:42:24
[INFO] [stdout]    |
[INFO] [stdout] 42 |         Value::Neutral(box Neutral::Free(n))
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 42 |         Value::Neutral(Box::new(Neutral::Free(n)))
[INFO] [stdout]    |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/intermediate_representation.rs:48:69
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Value::Neutral(n) => Value::Neutral(box Neutral::App(n, box v)),
[INFO] [stdout]    |                                                                     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Value::Neutral(n) => Value::Neutral(box Neutral::App(n, Box::new(v))),
[INFO] [stdout]    |                                                                     ~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/intermediate_representation.rs:48:49
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Value::Neutral(n) => Value::Neutral(box Neutral::App(n, box v)),
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Value::Neutral(n) => Value::Neutral(Box::new(Neutral::App(n, box v))),
[INFO] [stdout]    |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:161:58
[INFO] [stdout]     |
[INFO] [stdout] 161 |         TermUa::Annotated(box e, t) => TermUa::Annotated(box subst_da(i, r, e), t),
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 161 |         TermUa::Annotated(box e, t) => TermUa::Annotated(Box::new(subst_da(i, r, e)), t),
[INFO] [stdout]     |                                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:171:51
[INFO] [stdout]     |
[INFO] [stdout] 171 |             subst_ua(i, r, TermUa::Application(e, box subst_da(i, r, ep)))
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |             subst_ua(i, r, TermUa::Application(e, Box::new(subst_da(i, r, ep))))
[INFO] [stdout]     |                                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:183:55
[INFO] [stdout]     |
[INFO] [stdout] 183 |         TermDa::Inferable(box e) => TermDa::Inferable(box subst_ua(i, inferable_term, e)),
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 183 |         TermDa::Inferable(box e) => TermDa::Inferable(Box::new(subst_ua(i, inferable_term, e))),
[INFO] [stdout]     |                                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:184:49
[INFO] [stdout]     |
[INFO] [stdout] 184 |         TermDa::Lambda(box e) => TermDa::Lambda(box subst_da(i + 1, inferable_term, e)),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 184 |         TermDa::Lambda(box e) => TermDa::Lambda(Box::new(subst_da(i + 1, inferable_term, e))),
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:205:52
[INFO] [stdout]     |
[INFO] [stdout] 205 |         Value::Neutral(box n) => TermDa::Inferable(box neutral_quote(i, n)),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 205 |         Value::Neutral(box n) => TermDa::Inferable(Box::new(neutral_quote(i, n))),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:218:59
[INFO] [stdout]     |
[INFO] [stdout] 218 |         Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), box quote(i, v)),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 218 |         Neutral::App(box n, box v) => TermUa::Application(Box::new(neutral_quote(i, n)), box quote(i, v)),
[INFO] [stdout]     |                                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:218:84
[INFO] [stdout]     |
[INFO] [stdout] 218 |         Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), box quote(i, v)),
[INFO] [stdout]     |                                                                                    ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 218 |         Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), Box::new(quote(i, v))),
[INFO] [stdout]     |                                                                                    ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:241:56
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let _id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let _id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0))));
[INFO] [stdout]     |                                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:241:34
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let _id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let _id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0))));
[INFO] [stdout]     |                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:248:13
[INFO] [stdout]     |
[INFO] [stdout] 248 |             box TermUa::Bound(1),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 248 |             Box::new(TermUa::Bound(1)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:247:56
[INFO] [stdout]     |
[INFO] [stdout] 247 |           let _const = TermDa::Lambda(box TermDa::Lambda(box TermDa::Inferable(
[INFO] [stdout]     |  ________________________________________________________^
[INFO] [stdout] 248 | |             box TermUa::Bound(1),
[INFO] [stdout] 249 | |         )));
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 247 ~         let _const = TermDa::Lambda(box TermDa::Lambda(Box::new(TermDa::Inferable(
[INFO] [stdout] 248 +             box TermUa::Bound(1),
[INFO] [stdout] 249 ~         ))));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:247:37
[INFO] [stdout]     |
[INFO] [stdout] 247 |           let _const = TermDa::Lambda(box TermDa::Lambda(box TermDa::Inferable(
[INFO] [stdout]     |  _____________________________________^
[INFO] [stdout] 248 | |             box TermUa::Bound(1),
[INFO] [stdout] 249 | |         )));
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 247 ~         let _const = TermDa::Lambda(Box::new(TermDa::Lambda(box TermDa::Inferable(
[INFO] [stdout] 248 +             box TermUa::Bound(1),
[INFO] [stdout] 249 ~         ))));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:264:31
[INFO] [stdout]     |
[INFO] [stdout] 264 |             TermDa::Inferable(box TermUa::Free(Name::Global(x)))
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 264 |             TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x))))
[INFO] [stdout]     |                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:271:55
[INFO] [stdout]     |
[INFO] [stdout] 271 |         let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 271 |         let id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0))));
[INFO] [stdout]     |                                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:271:33
[INFO] [stdout]     |
[INFO] [stdout] 271 |         let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 271 |         let id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0))));
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:273:50
[INFO] [stdout]     |
[INFO] [stdout] 273 |         let free = |x: String| TermDa::Inferable(box TermUa::Free(Name::Global(x)));
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 273 |         let free = |x: String| TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x))));
[INFO] [stdout]     |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:275:35
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                   ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(Box::new(id), Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                   ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:275:58
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(Box::new(t_free(String::from("a"))), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:275:89
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), Box::new(t_free(String::from("a"))))),
[INFO] [stdout]     |                                                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:275:13
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 |             Box::new(TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a"))))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:276:13
[INFO] [stdout]     |
[INFO] [stdout] 276 |             box free(String::from("y")),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 276 |             Box::new(free(String::from("y"))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:282:55
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0))));
[INFO] [stdout]     |                                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:282:33
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0))));
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:284:50
[INFO] [stdout]     |
[INFO] [stdout] 284 |         let free = |x: String| TermDa::Inferable(box TermUa::Free(Name::Global(x)));
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 284 |         let free = |x: String| TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x))));
[INFO] [stdout]     |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:286:35
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                   ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(Box::new(id), Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                   ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:286:58
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(Box::new(t_free(String::from("a"))), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:286:89
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), Box::new(t_free(String::from("a"))))),
[INFO] [stdout]     |                                                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:286:13
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |             Box::new(TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a"))))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:287:13
[INFO] [stdout]     |
[INFO] [stdout] 287 |             box free(String::from("y")),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 287 |             Box::new(free(String::from("y"))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/intermediate_representation.rs:42:24
[INFO] [stdout]    |
[INFO] [stdout] 42 |         Value::Neutral(box Neutral::Free(n))
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 42 |         Value::Neutral(Box::new(Neutral::Free(n)))
[INFO] [stdout]    |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/intermediate_representation.rs:48:69
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Value::Neutral(n) => Value::Neutral(box Neutral::App(n, box v)),
[INFO] [stdout]    |                                                                     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Value::Neutral(n) => Value::Neutral(box Neutral::App(n, Box::new(v))),
[INFO] [stdout]    |                                                                     ~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/intermediate_representation.rs:48:49
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Value::Neutral(n) => Value::Neutral(box Neutral::App(n, box v)),
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Value::Neutral(n) => Value::Neutral(Box::new(Neutral::App(n, box v))),
[INFO] [stdout]    |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:161:58
[INFO] [stdout]     |
[INFO] [stdout] 161 |         TermUa::Annotated(box e, t) => TermUa::Annotated(box subst_da(i, r, e), t),
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 161 |         TermUa::Annotated(box e, t) => TermUa::Annotated(Box::new(subst_da(i, r, e)), t),
[INFO] [stdout]     |                                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:171:51
[INFO] [stdout]     |
[INFO] [stdout] 171 |             subst_ua(i, r, TermUa::Application(e, box subst_da(i, r, ep)))
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |             subst_ua(i, r, TermUa::Application(e, Box::new(subst_da(i, r, ep))))
[INFO] [stdout]     |                                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:183:55
[INFO] [stdout]     |
[INFO] [stdout] 183 |         TermDa::Inferable(box e) => TermDa::Inferable(box subst_ua(i, inferable_term, e)),
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 183 |         TermDa::Inferable(box e) => TermDa::Inferable(Box::new(subst_ua(i, inferable_term, e))),
[INFO] [stdout]     |                                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:184:49
[INFO] [stdout]     |
[INFO] [stdout] 184 |         TermDa::Lambda(box e) => TermDa::Lambda(box subst_da(i + 1, inferable_term, e)),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 184 |         TermDa::Lambda(box e) => TermDa::Lambda(Box::new(subst_da(i + 1, inferable_term, e))),
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:205:52
[INFO] [stdout]     |
[INFO] [stdout] 205 |         Value::Neutral(box n) => TermDa::Inferable(box neutral_quote(i, n)),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 205 |         Value::Neutral(box n) => TermDa::Inferable(Box::new(neutral_quote(i, n))),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:218:59
[INFO] [stdout]     |
[INFO] [stdout] 218 |         Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), box quote(i, v)),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 218 |         Neutral::App(box n, box v) => TermUa::Application(Box::new(neutral_quote(i, n)), box quote(i, v)),
[INFO] [stdout]     |                                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:218:84
[INFO] [stdout]     |
[INFO] [stdout] 218 |         Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), box quote(i, v)),
[INFO] [stdout]     |                                                                                    ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 218 |         Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), Box::new(quote(i, v))),
[INFO] [stdout]     |                                                                                    ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:241:56
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let _id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let _id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0))));
[INFO] [stdout]     |                                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:241:34
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let _id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let _id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0))));
[INFO] [stdout]     |                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:248:13
[INFO] [stdout]     |
[INFO] [stdout] 248 |             box TermUa::Bound(1),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 248 |             Box::new(TermUa::Bound(1)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:247:56
[INFO] [stdout]     |
[INFO] [stdout] 247 |           let _const = TermDa::Lambda(box TermDa::Lambda(box TermDa::Inferable(
[INFO] [stdout]     |  ________________________________________________________^
[INFO] [stdout] 248 | |             box TermUa::Bound(1),
[INFO] [stdout] 249 | |         )));
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 247 ~         let _const = TermDa::Lambda(box TermDa::Lambda(Box::new(TermDa::Inferable(
[INFO] [stdout] 248 +             box TermUa::Bound(1),
[INFO] [stdout] 249 ~         ))));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:247:37
[INFO] [stdout]     |
[INFO] [stdout] 247 |           let _const = TermDa::Lambda(box TermDa::Lambda(box TermDa::Inferable(
[INFO] [stdout]     |  _____________________________________^
[INFO] [stdout] 248 | |             box TermUa::Bound(1),
[INFO] [stdout] 249 | |         )));
[INFO] [stdout]     | |__________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 247 ~         let _const = TermDa::Lambda(Box::new(TermDa::Lambda(box TermDa::Inferable(
[INFO] [stdout] 248 +             box TermUa::Bound(1),
[INFO] [stdout] 249 ~         ))));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:264:31
[INFO] [stdout]     |
[INFO] [stdout] 264 |             TermDa::Inferable(box TermUa::Free(Name::Global(x)))
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 264 |             TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x))))
[INFO] [stdout]     |                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:271:55
[INFO] [stdout]     |
[INFO] [stdout] 271 |         let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 271 |         let id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0))));
[INFO] [stdout]     |                                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:271:33
[INFO] [stdout]     |
[INFO] [stdout] 271 |         let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 271 |         let id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0))));
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:273:50
[INFO] [stdout]     |
[INFO] [stdout] 273 |         let free = |x: String| TermDa::Inferable(box TermUa::Free(Name::Global(x)));
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 273 |         let free = |x: String| TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x))));
[INFO] [stdout]     |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:275:35
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                   ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(Box::new(id), Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                   ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:275:58
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(Box::new(t_free(String::from("a"))), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:275:89
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), Box::new(t_free(String::from("a"))))),
[INFO] [stdout]     |                                                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:275:13
[INFO] [stdout]     |
[INFO] [stdout] 275 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 |             Box::new(TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a"))))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:276:13
[INFO] [stdout]     |
[INFO] [stdout] 276 |             box free(String::from("y")),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 276 |             Box::new(free(String::from("y"))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:282:55
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0))));
[INFO] [stdout]     |                                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:282:33
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 282 |         let id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0))));
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:284:50
[INFO] [stdout]     |
[INFO] [stdout] 284 |         let free = |x: String| TermDa::Inferable(box TermUa::Free(Name::Global(x)));
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 284 |         let free = |x: String| TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x))));
[INFO] [stdout]     |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:286:35
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                   ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(Box::new(id), Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                   ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:286:58
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(Box::new(t_free(String::from("a"))), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:286:89
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |                                                                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), Box::new(t_free(String::from("a"))))),
[INFO] [stdout]     |                                                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:286:13
[INFO] [stdout]     |
[INFO] [stdout] 286 |             box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |             Box::new(TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a"))))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/intermediate_representation.rs:287:13
[INFO] [stdout]     |
[INFO] [stdout] 287 |             box free(String::from("y")),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 287 |             Box::new(free(String::from("y"))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 33 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 33 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `order` (lib) due to 34 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `order` (lib test) due to 34 previous errors
[INFO] running `Command { std: "docker" "inspect" "5d025d4d9bbdbb7f426420e89652b3c4e2f1f59507dbe8ff4a40d9a3e21973f7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5d025d4d9bbdbb7f426420e89652b3c4e2f1f59507dbe8ff4a40d9a3e21973f7", kill_on_drop: false }`
[INFO] [stdout] 5d025d4d9bbdbb7f426420e89652b3c4e2f1f59507dbe8ff4a40d9a3e21973f7
